大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Special Interest Group on Design Automation 的图书(共4151本)

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Design, Construction and Research Application of a Differential Electrochemical Mass Spectrometer (DEMS) [electronic resource]

0
索取号：
作者：Ashton、 Sean James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer- Aided Design in Power Engineering [electronic resource] : Application of Software Tools

0
索取号：
作者：Stojkovic、 Zlatan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Engineering Secure Two-Party Computation Protocols [electronic resource] : Design, Optimization, and Applications of Efficient Secure Function Evaluation

0
索取号：
作者：Schneider、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Constructive Side-Channel Analysis and Secure Design [electronic resource] : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

0
索取号：
作者：Schindler、 Werner.、Huss、 Sorin A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

0
索取号：
作者：Peffers、 Ken.、Rothenberger、 Marcus.、Kuechler、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

0
索取号：
作者：Shishkov、 Boris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Nano-Bio Probe Design and Its Application for Biochemical Analysis [electronic resource]

0
索取号：
作者：Ye、 Bang-Ce.、Zhang、 Min.、Yin、 Bin-Cheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : First International Conference, EvoMUSART 2012, M谩laga, Spain, April 11-13, 2012. Proceedings

0
索取号：
作者：Machado、 Penousal.、Romero、 Juan.、Carballal、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Field Informatics [electronic resource] : Kyoto University Field Informatics Research Group

0
索取号：
作者：Ishida、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design [electronic resource] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

0
索取号：
作者：Ayala、 Jos茅 L.、Atienza Alonso、 David.、Reis、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

0
索取号：
作者：Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Phan、 Cong-Vinh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Geometry of Special Relativity - a Concise Course [electronic resource]

0
索取号：
作者：Dragon、 Norbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tree Climbing Robot [electronic resource] : Design, Kinematics and Motion Planning

0
索取号：
作者：Lam、 Tin Lun.、Xu、 Yangsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Sustainable Rural and Urban Ecosystems: Design, Implementation and Operation [electronic resource] : Manual for Practice and Study

0
索取号：
作者：Geller、 Gunther.、Gl眉cklich、 Detlef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Electrical Engineering and Automation [electronic resource]

0
索取号：
作者：Xie、 Anne.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.